🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✓ Automated Theorem Proving

Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
🎮Verification Games
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·13h·
Discuss: Lobsters, Hacker News
🔍Formal Verification
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·7h·
Discuss: r/programming
🐫OCaml
Binding Application in Idris
andrevidela.com·6h·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·14h·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: LlamaFarm – Working on binary AI Project deployment – (early preview)
github.com·9h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·2h
🔄Finite State Machines
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·2d
🎮Verification Games
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·2h
🛡️seL4
Computer Scientists Figure Out How To Prove Lies
quantamagazine.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🎮Verification Games
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🛡️seL4
Being a psychologist to your (over)thinking LLM
specy.app·2d·
Discuss: Hacker News
🎮Verification Games
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·18h·
Discuss: Hacker News
🤖Program Synthesis
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·10h·
Discuss: Hacker News
🛡️seL4
PBE Meets LLM: When Few Examples Aren't Few-Shot Enough
arxiv.org·2d
🐫OCaml
LLM Inference Handbook
bentoml.com·3h·
Discuss: Hacker News
🛡️seL4
Measuring the Impact of AI on Experienced Open-Source Developer Productivity
metr.org·13h·
Discuss: Lobsters, Hacker News, r/programming
👁️System Observability
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔍Formal Verification
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap